What Should Default Reasoning be, by Default?
نویسندگان
چکیده
منابع مشابه
What Should Default Reasoning Be, by Default?
This is a position paper concerning the role of empirical studies of human default reasoning in the formalization of AI theories of default reasoning. We note that AI motivates its theoretical enterprise by reference to human skill at default reasoning, but that the actual research does not make any use of this sort of information and instead relies on intuitions of individual investigators. We...
متن کاملReasoning by cases in Default
Reiter's Default Logic 14] is one of the most popular formalisms for describing default reasoning. One important defect of Default Logic is, however, the inability to reason by cases. Over the years, several solutions for this problem have been proposed. All these proposals deal with deriving new propositions through reasoning by cases. None, however, discuss the propositions that should no lon...
متن کاملProbabilistically Reliable Default Reasoning
This paper superimposes an assumption generation mechanism (AGM) and a lower bound propagation mechanism (LBM) on default reasoning. AGM generates minimal probabilistic assumptions which are needed to derive default conclusions safely, and LBM supplies (approximately) tight lower probability bounds of the conclusions. Together both mechanisms make default reasoning probabilistically reliable. T...
متن کاملDefault reasoning about probabilities
Acknowledgments First and foremost I would like to thank Harald Ganzinger and Hans J urgen Ohlbach who provided me with the opportunity to conduct this research at the Max-Planck-Institute for Computer Science. Here I found a perfect environment that gave me all the freedom I wanted and every support I needed. Hans J urgen put me on the track of probabilistic reasoning in terminological logics....
متن کاملTowards Efficient Default Reasoning
A decision method for Reiter's default logic is developed. It can determine whether a default theory has an extension, whether a formula is in some extension of a default theory and whether a formula is in every extension of a default the ory. The method handles full propositional de fault logic. It can be implemented to work in polynomial space and by using only a theorem prover for the unde...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computational Intelligence
سال: 1997
ISSN: 0824-7935,1467-8640
DOI: 10.1111/0824-7935.00037